Close out already-merged PR. (close #84)