Fix comment: It's "her", since Barbara Liskov is a woman.