Fix the documentation

By the way, thanks for the recent improvements. Much clearer now.