Fix path broken by 1438e806cd92a2b74f718dab83609797edc0fb53.