Fixing a typo in books