Cleaned up the MI documentation a bit.