fixing typo in `debugging code`