Corrections to assignment 7