Doc corrections