Fix #73.