fix #726