Corrections to design document