Minor tweaks to defctrl methods.