I pushed a small change to clean this up. It was my first commit for 
libtool, so I hopefully didn't miss anything, although if I did please 
let me know!

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354