Typo. Fixed. Thanks. Too many cats in examples.

Also too many dogs it seems, as the infinite and finite loop examples also produce "dog".