minor cosmetical changes