Issue #54: fix a minor bug ...