element.getStyle('border') bug?

[jon]

sometimes I call el.getStyle('border') and get '0px none #000000 0px
none #000000 0px none #000000 0px none #000000', it's repeated.  Has
anyone gotten this problem? is this a bug?
thanks