small improvements to manual
more improvements to manual