Fixed annoying typo in debugging output