minor edit to Gruber's quote in "skeuomorphism"