Correct whitespace issue in Javadoc