A small fix in Differentiator