Some modifications and clarifications (by me) to Michael's mods.