Tue, 23 Aug 2011 11:54:34 +0100 Mario de Sousa Remove debugging printf() added by mistake in previous commit.