Small fix of a bug in the high level runtime