Fix typo

Just for the game of submitting a patch edited within a browser !