Small modifications to Robert's version of the README