Correction to Completeness for algebraic theories of local state Proc. FOSSACS 2010. Sam Staton. In Figure 1, the equation LS4 should have type VxA rather than A. Acknowledgement: Thanks to Ohad Kammar for pointing this out.