Fix name of Russell King in various comments