JavaDoc fix: something got caught in a refactor/rename that shouldn't have.