Fixed bug #84