This commit closes #13