fix for #251: turn termination warnings to errors