Minor corrections, additions.