Minor fixes after proof-read.