Closes #767