Minor corrections, comments.