"Zhengzitong" records that this is an erroneous variant of the character "rui".