corrections to proposition 4.1