Ledger spec updates

commits are pretty self explanatory