Small cleanup
Move a lemma
Put the results on proper and flat morphisms in its own section

Also: An example to show that base change cannot hold in general
(of course you may well say).