Who is the calligrapher Cheng Tie Liu Wen referring to?

Tie Bao (1752- 1824), formerly known as Jue Luoshi, was named Meian, later changed to Dong 'e, a native of Zhenghuang Banner in Manzhouli, and a calligrapher in Qing Dynasty. He studied calligraphy "pavilion style" in his early years, and later he learned from Yan Zhenqing to correct the stagnation caused by "pavilion style". Together with Yongzheng, Liu Yong and Weng Fanggang, they are also called "the four great calligraphers of the Qing Dynasty". (Baidu Encyclopedia) I think "Cheng Tieweng" should be "Cheng Tieweng Liu", that is, "the four great calligraphers in Qing Dynasty".