Updated manual according to #5087