add explanatory comments

No behavior changes, no refactoring, just comments.