Fix a bug in url.user.js