fix bug in ctrlmux