Removed epsilon in minire. String ops.