Clarify lexpop().