Fix module header of TypeCheck