smir bug fixed :)
another smir bug found :(
destructive renaming happened :(