You are of course correct. I should not try to think about software at 4am! :)