Fix #411.