`with-string-as-buffer-contents' bug