Important bug fixed. Now working. Benchmark added.