Small fixes in the gui package.