Another fix for #45.