Miscellaneous changes that Táve used to enhance the interface a bit.