Fixed #738.