small fix in NavCtrl