a few correction. Still has a compilation error but tm dslash is compiled