Fix #825