another micro-optimization