Fix goedelCode example (broken by 5203fc450fa) I assume.