When editing input filter, no margin above submit button

This is a minor formatting bug in system.css in all versions of Drupal core. When editing an input filter (e.g. at admin/settings/filters/2), there's no vertical space between the "Formatting guidlines" and the "Save configuration" submit button. The content just above the submit button is generated by filter.pages.inc using <ul class="tips">. AFAICS, the "tips" class is only used in this one place, and it lacks a margin on the bottom.
Original (in system.css):

.tips {
  margin-top: 0;
  margin-bottom: 0;
  padding-top: 0;
  padding-bottom: 0;
  font-size: 0.9em;
}

Better:

.tips {
margin-top: 0;
margin-bottom: 1em;
padding-top: 0;
padding-bottom: 0;
font-size: 0.9em;
}