Fix failing Example73Test