Fixed a bug in \dffn