fix #788