Minor syntactic fix