small improvements to the MANUAL