because it was not immediately dead-obvious to me that that would work, but you are probably right