Minor improvement for .parse.deriv