Fix matcher-dcl: missing header algorithm.