Bug fixes with kasher