small truecrypt bug