Completes GitHub issue #73.