Fix hot link problem found on page 400.
drwxr-xr-x - dwarf5