Fixed bug #83.