small fixes for gui identifiers