(gui) oops, fix the NullPointerException introduced in previous commit