Fixed bug #86.