Some changes to aide debugging