Corrected execCtrl() return type