GUI: made capitalization in titles and buttons consistent