small corrections to the manual