Proper fix for #510 and related
release 0.7.2