style and doc fixes