[Cin] A figure number is missing in the HTML User Manual