fix #874