diff-buffer-with-file: oops, forgot a quote here!