Minor efficiency tweak.