fix JavaDoc