minor adjustment to filename in title bar