Part 2 of fix for issue #376

Don't disable the 85 key, in case the ctrl key is NOT in active down
state.