Fix for #73.