Minor syntactic change