Found some stray minor updates to the docs