Minor changes, in particular to README