issue #117: fixed bug introduced from last commit