Ops, removed a debugging print :(