This is again a leftover from Martin's debug output. I'm a bit afraid to remove this line, though I don't know the intention here.