Fixed Javadoc glitches