Remove printf debugging