I pushed a new commit that turns the case that should not occur into a hard failure.