Fix #857