IKs changes to intro and typo corrections