But in any case, downloading the entire block chain seems to solve a lot of problems, so good to try when the wallet is acting up.