CSS optimization bug

Not sure, if this is a reported problem or not, but when editing CSS I saw hint: "Optimize border properties". This optimization may broke the final style when applied

for example when converting this

border-style: dashed;
border-color: #ff0000;

to that
border: dashed #ff0000;
border-size from parent style is not used

inline style must contain all three properties in specified order (border: 1px dashed #ff0000;), otherwise it can screw up the overal style