Minor edits to REDME.