No, the comment is repeated in a readable assert, so it's not needed anymore