Slight javadoc correction