Correct a JavaDoc typo