bugfix
some debugging so that the "interpreted" version also works!