Petits fix #2