Peder,
> This is of course a very minor, cosmetic detail, but it's the kind of
> thing that easily becomes invisible if you're familiar enough with
> the
> project, so I thought I'd mention it.
Yes, it's a doc bug. Thanks for catching it, will fix before final release.
--Josh