It's an incredibly minor issue, and given the unnecessary discussion it's caused, I regret including the optimization to begin with.