Fix Javadoc error