Correction of a stupid bug introduced by Eclipse :(