Pretty normal as they are in fact PC6400 that are selected for higher speeds, it reads out the correct name though so no worries...

My OCZ are also read out as PC6400... no worries...