Minor editions to the post