Minor changes in UI for Linux