Correction bug from issue #16