fixed old annoying bug with wrong size of options dialog