Fix a too-restrictive assertion