Yeah, I got side-tracked in the middle of writing my comment, and it didn't seem worth fixing since I only noticed after the edit window closed and my main point holds either way.