Fix a bug in dephi, add another benchmark