Fix #397.