right, i think i understand now the problem. I guess this pull could be closed then.