more documentation and doc fixes