patch for issue #54's fix

0ef28196377efd3560fa1e2acdf940e5ab2cfc88 was incomplete