Although Hai Seisei appears in "Nihonshoki," he is referred to as Hai Sei in "Suishu" because this book was compiled in the reign of Tang Tai Zong and the book avoids his imina (real name), Seimin.
『日本書紀』では裴世清、『隋書』では編纂された時期が唐太宗(唐)の時期であったので、太宗の諱・世民を避諱して裴清となっている。