documentation repair
fixes #4