fixes for wrappingIntoTerm