Fix motivating example (driver replaced with T)