Small edit to code progress document