Fixed #727.