Eli Zaretskii <eliz@gnu.org> writes:

>> -	(message "Wrote %s" buffer-file-name))))
>> +	(message "Wrote %d characters to %s" (- end start) buffer-file-name))))
>
> Shouldn't this and others use `' as well?

Yeah, I think so.  I forgot to look at the others before.