Ants: typo in ants url