finally gave up and format manually