Fix get-credit-count `require()` examples