Remove debug output accidentally committed in c4b6d50d8c41866dc0a43bdf708c2dba8964a0d0