Renamings on Hal module