Fix ctrl-click behavior. Fixes #1986.