manual/other/RhoDPXApp: minor fix.