Minor comment tweaks (fixing auto-generated comments I missed).