Should `hbar` be added here? It's added again below, and I suspect (but am not at all sure) that there isn't a capitalized `Hbar`