Superfluous space. (Also in the rest of the file.)