Very stupid fixes to DateSpinner