Minor syntax tweak