double slash '//' with drupal_goto
Whatever you pass to drupal_goto() will in turn get passed on to the url() function. If you're using url() on the path before hand, it'll get run through again and you'll get a double slash.

You can just pass the router path to drupal_goto() directly, and it will handle the alias for you:

drupal_goto('node/1234');