Small debug for #43