José: could you check this fix? It also changes one URL from 'code.google.com' to 'developer.google.com'.
José: could you check this fix? It also changes one URL from 'code.google.com' to 'developer. google. com'.