looks like someone fixed that bug that I was working around ...