Ah. that was for debugging, and should not be here anymore :)