Font typo


#1

Listing 19.5 is new so it should all be in bold font.


#2

Thanks for keeping an eye out. Looks like it’s already in the errata, though.