A few documentation update