tiny change to try and fix gui-bug