Some  copy editing and fixed a minor bug