Petra’s dramatic Treasury didn’t really serve as a treasury