Comments are now fixed.

I didn’t realize they were broken until Eric kindly emailed me today and told me.