Valama: Minor GUI improvements