Updating comments.

Honestly, just testing that push will work correctly from new computer.