Small JavaDoc change.