IE did it right.
This problem gets exposed any time you try to do something like:
width:100%; border:1px
Cause you can't see the border. It's really stupid, the spec got it wrong.