Removed printf debugging