A couple of comments added.