Remove some printf debugging