A minor update and a couple of rewordings.