DOC small nitpicks