Fix @rilem styling you just broke