This fix closes issue #11 (github)