Fixed a minor bug in Array.abbrev() method;