remove a leftover debug printf