Editorial changes to introduction of README