Oh, and I just noticed that you discussed that point in the top level PR comment :)