Tweaked wording of one of the design principles.