minor: make sections of robustctrl.py clearer