(javadoc cleanup)