bugfix

My shortcuts had stopped 'doubles' working correctly - still don't know
why.

This works OK.