trying to fix a bug mentioned in Issue #118