Should the version numbers in the CoreList be the same as the version registers?

Should the version number in the CoreList match the number in the Version register of that core? There are some that are different.

timecard0: CoreList 0x10000, register 0x10001, TC SMA Selector Inst0 Slave1
timecard0: CoreList  0x10000, register 0x10001, TC SMA Selector Inst0 Slave2
timecard0: CoreList  0x20001, register 0x20002, TC ToD Slave

I looks like TodSlave.vhd has a different version number (0x20003) from the above 2 ToD version numbers:

constant TodSlaveMajorVersion_Con               : std_logic_vector(7 downto 0) := std_logic_vector(to_unsigned(0, 8));
constant TodSlaveMinorVersion_Con               : std_logic_vector(7 downto 0) := std_logic_vector(to_unsigned(2, 8));
constant TodSlaveBuildVersion_Con               : std_logic_vector(15 downto 0) := std_logic_vector(to_unsigned(3, 16));