update URL: fixes #1