Fix error in two of the debug statements
(#474)