oops -- yes, will fix