Fix javadocs that caused problems