doc: Fix DocBook XML validity

See 3a9d430af515e9dd8a9d34a4011367e667a66521.  A new one snuck in.