Fixed: A small bug with the manual