should fix #19