Minor rewordings and additions