A tiny bit of run-time speeding up