Fixed bug #42.