Minor changes, comments.