some documentation update