Fixe for #808