Doc improvements

Some documentation improvements. More will follow.