Fixing the has_mutated function to make @mengzhou happy.