Rationalised some of the postscript in the prelude