Typo in debugging