GUI: small fixes