Bug fixeds to hassel submodule