Remove some printf debugging that slipped in.