Minor improvements in the Design section.