Errata: In Example 5.12, expression non-equilibrium condition has wrong symbols