Array.map won't work in old ie, perhaps `$.map([], …)` instead?