Issue #63: fix a problem introduced by a previous rebase