correct Ctrl/... to Ctrl+... (reverted from commit bded3fb747b3b371c0641abf53c0f4c709882822)