Removed useless debug print

I think this small print was just introduced for debugging, right? If so, it can be removed here.