Thu, 25 Oct 2012 13:40:13 +0100 Mario de Sousa Delete debugging code, introduced by mistake in previous commit.