Fixed a few debugging typos