Remove obsolete debug-print.