Fixed bug #5.