Bug fix #19