Fix syntax in 5cc13f22464a4e82a90a47aedc8f5b190a8ad002