Fixed #803.