Errata: state table for subsection 4.4.2