Further revisions on several things which I cannot remember now