A small fix for #19