Oops -- accidentally removed comment

So, I put it back in.