Very small changes to files in /lib/