This change was made in !6403, but the appropriate documentation changes were not applied to the DNSSEC Guide.