Special signs (? or #) escaped in url redirect causing error

I am using a login modal on a page where users must sign in to post comments. The link to login looks like this: /modal_forms/nojs/login?destination=node/4093%23comment-form

The modal opens properly, and the user is able to sign in, however the redirect results in an error. The culprit is that the hash sign is escaped as '%23'. How can I prevent this from happening? The link should look like this: /modal_forms/nojs/login?destination=node/4093#comment-form.

For now, I made the following change to modal_forms.pages.inc:

diff --git a/modal_forms.pages.inc b/modal_forms.pages.inc
index b9b3817..5770d77 100644
--- a/modal_forms.pages.inc
+++ b/modal_forms.pages.inc
@@ -36,7 +36,8 @@ function modal_forms_login($js = NULL) {
     ctools_add_js('ajax-responder');
     $output[] = ctools_modal_command_dismiss(t('Login success'));
     if (isset($_GET['destination'])) {
-      $output[] = ctools_ajax_command_redirect($_GET['destination']);
+	  $url = explode("#", $_GET['destination']);
+	  $output[] = ctools_ajax_command_redirect($url[0]);
     }
     elseif (module_exists('login_destination')) {
       $destination = login_destination_get_destination('login');

This just removes the hash sign and everything that follows it.

Can anyone think of a better solution?