Some minor changes to the gui. Also fixed bug where it would not delete
the paper from the user set.