A tiny optimalization