Fixing MIT docs after the move