bugfix in deleting tmp.html