slightly more efficient map operation