Spaces でホットキーが効かなくなる

MacOS X Lion にしてからも,Spaces ではホットキー切り替えをメインに使ってるんですが,これがたまに効かなくなって困ってました.今日また固まったので(笑),気が向いてググってみたら,やっぱり時々そういうことがおきるみたい. killall Dock したら,たしかに直りました.