ReProve the README file again