Fixed #801.