[BUG #7790] Updated manual