Fix some typos in lib/