micro-optimize a bit more