Minor 5.3-5.5 corrections