commented out debugging printf's