That's a little glitch introduced when merging with upstream. Sorry about that.