Huh, he used to be at the top. I can move him up.  And you're right, this can totally be faster with those simple kinds of optimizations.