Removed some debugging printfs