Fix #1, too restrictive assertion error