Correct IDEA instructions slightly.