Drat, I swear that I tested this and came up with different result, but it looks like you are correct. :)