another monster javadoc bug fix