Small fixe for code style