a small typo from wc output, also CONTROL does not show in github webpages, wrapped with <kbd> and </kbd>