Minor fixes: user-agent and file extensions.