Correcting Javadoc