Re-commit with minor addition to fix attribution of commit on github.