Minor change in 'TinyBRL-DDS' manual.