Fix #831