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