Some minimal debugging

---