Fix the JavaDoc