fix #887