Minor simplification in Array.abbrev() method.