Fix a JavaDoc error.