got rid of cout statements we had used for debugging