removed printf debugging