@ modules/opsModule/opsBootstrap.php: a bug fixed