changed assertion for GUI to avoid a bug