minor syntax tweak