Fix syntax for Javadoc