fix doc; fix javadoc