Remove yet another printf debug