minor URL tweak