Slight modification in Javadoc style