In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to generate proactive feedback using a procedural knowledge model automatically constructed from the interaction of previous students with the system. We compared the new version of iList with its predecessors and human tutors. Our evaluation shows that iList is effective in helping students learn.