Corrections to CS2014 from proof