Yes. To our knowledge, those coins were lost early in the project by an early adopter due to a hard drive failure. When you 'lose' coins, you only lose the private key; those coins are still valid. For that reason, we have not excluded them from the total in circulation. However, for all intensive purposes, those coins should be considered out of circulation.