Changes an error message to match coconut