Fixed #728.