Minor debug print correction