Fix another piece of JavaDoc