Module fact updated