[BUG #6645] better doc