Ooops. Left some debugging code in the commit accidentally. This now removes it.