Fixed bug #88.