linuxmint/Cinnamon — pull request #1733 by dalcde (2013-02-21 10:41:15+00:00)
Title: Fix #1262

Credit: The fix is by Lusito who is too lazy to make a pull request for such a small change.