Issue #79: fix error