Issue #283: fix a test errror