fix #772