Uncommented some lines that Guillelmo commented out, by some mistake in the commit process. Oops