[curt.clifton]

I've seen the problem occasionally but haven't been able to repeat it. Use Help → Send Feedback to get bug reports into the dev. database.