Comment by pclmulqdq

It sounds like we agree that he should have, but he hasn't.