Github issues fix, closes #82