Fixed comments for induction.