Okay. After talking to Steve, we figured out what likely happened.
When you add an attack spell to your spell book tab of your sheet, it automatically creates an entry in the Attacks and Spellcastings section of the core sheet. These two elements are suppose to remain synched up. By the looks of things the spells on the spell book tab don't link with their Attack on the core tab. What may have happened was that the player who owns that sheet accidentally deleted and re-added items from either the spellbook tab or the core tab which caused the de-sync.
The next update of the 5E OGL, Steve is designing this relationship between the two tabs to be far less fragile, so this shouldn't be an issue anymore afterwards. Right now, I would recommend your player to remake their sheet. The spells should be pretty easy to replicate on a fresh sheet by dragging and dropping them from the 5E Compendium.