Fixed broken terminate example

Thanks to JBriggs for pointing this out!