Fix error in Javadoc