@apavlenko That's how it was in the original commit. I'm not fixing these kind of bugs during merges.

(And if I did, I'd delete this line entirely; it's useless.)