A few minor updates to the gui