Fix #387.