documentation update, small fixes