Extra whitespace in the Javadocs here (and elsewhere)