- fixed a JavaDoc bug