fix the stupid Mangum problem