Fixed a small GUI bug