Several fixes to the README