remove IS-ISisms from Example section