Doc various fixes