Minor cleanup (mostly documenting comments).