fix bug in ctrlmux (addendum)