is this really needed?  (no big deal but could save a few seconds...)