Small modifications, mostly README clarifications