Slightly updated comments.