Fix broken recipe (see #692)