Since #103 is not a problem anymore, we can turn this assertion back into an error rather than a warning.