so sorry!  i've pushed the fix.