Fixed bug #19