Some minor cleaning up.
Slight update to our third-party libraries page.