minor syntactic tweak