There is a "refresh" button next to account balance - anyone that didn't think to try it when looking at the wallet really seems to not be trying all that hard. Idiosyncratic, yes. Bug, no I don't think so. Somehow the rest of us have been dealing with it for many months now.
The refresh button wasn't working at that point, for some reason. I definitely clicked the refresh button a bunch of times, and it didn't do anything.
Still, I'm glad it didn't work since I'm sure I would have ended up with far fewer shares if there had been a complete free for all.