Fix David Nolen's name (h/t to Steve Miner)