made a few minor modifications to documentation/README