Some kind of GUI bug fix