- just a javadoc fix