bugfix while resolving superstring