Fix example in README

Fixes TCHECK-45