some little doc fixes