More than likely, your measurements are errored. It probably dropped to 250(or something) for a short time between measuring the cpu freq and the output from top.

Try with conky instead, so you can get simultanious numbers - Though, the accuracy may still be bad.

Really, though, does it matter? Provided the usable performance is approximately the same, ignore it.