Added debug for #12