Fix Bug3: add the missing file