Correcting typo in Javadoc