attempt to fix #713