Use proper html for keyboard shortcuts