remove excessive printf-debugging