Fixing typo in Javadoc markup