For #1, removing spurious Javadoc.