fix #885