[BUG] Preference saving for mux_ts is broken?

[t1]

I'm using the windows version of VLC (0.7.2), and after changing the video stream PID on the sout mux/mux_ts module and saving the config, the PID setting is lost on restart of VLC. If I edit the vlcrc file manually, it works as expected.