Thanks, fixed in dc56c62. This doesn't impact anything user facing, but let me know if you'd like to see a new release tagged for some reason (otherwise it likely won't be tagged for a long time).