Refined the comments at the top of the file; no code changes.