Remove leftover debug printf