Removed printf used for debugging