Removed some debugging printf's