Removed temporarily printf used for debugging.