Fix stuff in the Pinvoke documentation.