Issue #232: fix a code mistake