Added extra text for solution manual. Not tested.