Additional minor updates to the docs