Small fix for examples/prime.oh