Micro-optimize a bit more