Fix bug #19