minor syntactic fix