some trivial micro-optimization