@ modules/opsModule/controllers/indexController.php: a fix