A couple of small improvements and some new comments.
Small improvements.
Added a note.
Small improvements.