Weird, never seen that.
If restarting the Dock is the only method, here's how to do it if you're not sure. Open Activity Monitor, located in Applications > Utilities. All the running processes on your computer are listed here. Find "Dock"m and quit the process. This will restart it, and see what happens!