Small fix for simple-untyped.