Fix a few key documentation issues