Fix bad escaping in documentation URL