Minor JavaDoc improvement.