Fix weird interaction: `error` and laziness