minor Javadoc error fixed