fixed a bad JavaDoc