It is possible that the original was damaged when removed at one time and replaced with the 13 .. or, it may even have been replaced with a 1/2" allen and you think it is a 13..
Either way,....Try a 1/2" allen.... if it is 1/2" , it will fit perfect, or if it is a 13 , the fit should be tight enough to do the job...