Issue #68.
Fixes the proglem.