Fix case documentation

We should use `tmp` after `tmp = num`.