This commit closes #38