some minor GUI beautification