extremely minor gui changes