I have a set of diamond stones I use for taking the burrs out of my edge, most files will be too abrasive and take off more edge then you want for just taking out a few burrs.
I also don't use a file guide when I do this, just do it by hand. I figured the grit on the diamond stones is too fine to really change the angle of my edge but I could be wrong about that.
__________________
|