Fix #832