minor GUI changes according to meeting on 23/1/13