This is the correct solution. Don't risk damaging your hardware with a paperclip or a toothpick. The audio port was made for an audio plug, and plugging in/removing a headphone jack once or more should be sufficient to fix this problem.
I speculate (and will do some testing to confirm) that...
