Oops, bug fix.  we'll get rid of this later