Minor fix after merge messed up our gui
Programmers: Tobias