UI

Some minor things, not important.