Clarify role of abbrev_state