Download link tries to save file as title not filename

[irrelevantdotcom]

1. The download link appears to be set twice in theme.inc, lines 41-44 and lines 55-58.

2. When clicked on, the browser tries to save a file named after the title of the object, not it's original filename as detailed in the link.

I fixed this by changing line 57 to:
$variables['islandora_disk_image'] = l($variables['islandora_datastream_label'], $disk_image_url, array('attributes' => array('download' => $variables['islandora_datastream_label']), 'html' => TRUE));

This adds a "download" tag to the link, offering the original filename. I'm not sure if another way would be better, but for now this works for me.