Index: app/views/trace/view.rhtml
===================================================================
--- app/views/trace/view.rhtml	(revision 13565)
+++ app/views/trace/view.rhtml	(working copy)
@@ -9,7 +9,7 @@
 <table border="0">
   <tr>
     <td>Filename:</td>
-    <td><%= @trace.name %> (<%= link_to 'download', :controller => 'trace', :action => 'data', :id => @trace.id %>)</td>
+    <td><%= @trace.name %> (<%= link_to 'download', :controller => 'trace', :action => 'data', :id => @trace.id, :format => @trace.extension_name %>)</td>
   </tr> 
   <tr>
     <td>Uploaded at:</td>
Index: config/routes.rb
===================================================================
--- config/routes.rb	(revision 13565)
+++ config/routes.rb	(working copy)
@@ -108,7 +108,7 @@
   map.connect '/traces/mine/tag/:tag/page/:page', :controller => 'trace', :action => 'mine'
   map.connect '/trace/create', :controller => 'trace', :action => 'create'
   map.connect '/trace/:id/data', :controller => 'trace', :action => 'data'
-  map.connect '/trace/:id/data.:format', :controller => 'trace', :action => 'data'
+  map.connect '/trace/:id/data:format', :controller => 'trace', :action => 'data'
   map.connect '/trace/:id/edit', :controller => 'trace', :action => 'edit'
   map.connect '/trace/:id/delete', :controller => 'trace', :action => 'delete'
   map.connect '/trace/:id/make_public', :controller => 'trace', :action => 'make_public'