Further syntax tweak