assorted bugfixes and minor GUI interactions