This commit closes issue #3