a little patch for default jaws theme