README corrections for github publication