malformed css in wpmudev-updates plugin

wpmudev-update/includes/css/admin.css:

line 491: extra semicolon ( when only one should be present:
margin: 5px 6px;;/* remove one of these */

line 722: incomplete padding: element for .recent-activity-widget ul selector, and missing semicolon at the end of the statement:
padding:
}

line 1000: invalid color specification "#888\9":
ul.ds-list { border: 1px solid #888\9; }