Trivial fix of misleading debug statement