Now getStoredHeader(withTx) has been tested and working