Errata PDSE 2022