Doc: cosmetic fix