Various documentation improvements

You're right, done. Thanks!