Fix #706.