明朝那些事儿里的朱五一是不是应该是朱五四（明朝那些事儿刘纪同朱由校）

朱元璋的太高祖父叫朱仲八，高祖父叫朱百六，曾祖父叫朱四九，祖父叫朱初一，伯父叫朱五一，父亲叫朱五四（后改名世珍），他自己叫朱重八。