Fixed bug #6.