Fix javadox