Another minor speedup