minor: correct doc header syntax