Fixes after proof-reading