Fix #871