A few proof-reading modifications