right, i don't remember the details, but when it happened it was probably fixed quickly. could even have been a packaging error in a distribution.