Fix #838