clean up after htmlize-buffer