Adds issue #73.