Switched example in DScalaness/DnesT chapter to the one used in the GPCE paper.