Fixing bugs in source examples in tortoise-hare post