Fixing samll bugs GUI and verification