bugfix for https://github.com/surface-smoothers/lipmanresolve/issues/294