Fix #826; Fix #825;