minor cosmetical change