Javadoc minor fix