Change example file to work around engine bug: substitute from CC to RR.

The bug is that creating a ring map from CC[x] to RR[x] is allowed,
but should not be.