Fix syntax in Javadoc comment