Question regarding color hex values in 'terminalrc'

I noticed that under Preference > Colors, when I enable "Cursor color" and drag surrounding colors into the Cursor FG/BG via the GUI, their hex codes get stored in a duplicated/interleaved manner in terminalrc:

E.g. dragging #c0c5ce onto the cursor background causes ColorCursor=#c0c0c5c5cece to be written to the config.

I assume this is a way to encode some extra information (like an undo), but wanted to make sure it's not a bug.