fix for #19