correct name Mies

just to be complete (and to test my new repo on my mac)