A minor syntax fix.