missed an obvious speed-up; adding