[BUG #8078] added missing docs