Fix an out-of-date path.