Minor changes in the design guide.