Fixing mysteriously broken Javadocs