Change 302 redirect to 301 redirect

I checked the header status of the redirect with the following tool
http://www.seoconsultants.com/tools/headers.asp
and noticed its response was 302 redirect.

I think using a 301 redirect would be a better choice. Thought?
http://www.bigoakinc.com/blog/when-to-use-a-301-vs-302-redirect/
http://www.mattcutts.com/blog/seo-advice-discussing-302-redirects/

I have included a patch to make the necessary change.

I dont know why anyone would want this redirect to be a 302 but if there is a use-case we could include a admin setting to switch between 301 and 302 redirects. Thoughts?