Petit bugfix