Probably should use `\"%s\"` to be consistent with the existing error messages.