THEDAO: Broken, but worth fixing