Minor changes to the design document