see #497.  let's go ahead and fix that here.