However , FIFA 's official World Cup records include him in the squad .
Jump up ^ Alan Hodgkinson was a non-travelling reserve in 1958 .
FIFA 's official World Cup records include Alan Hodgkinson in the squad .
Jump up ^ Alan Hodgkinson was a non-travelling reserve in 1958 .