I improved the doc a little bit; see new diff