fix twmousetrap plugin