Minor syntax tweak.