Some documentation update