Remove debugging output

Motivated by #240.