removed "print()" which was there only for debugging. Oops...