A recipe calls for 1/8 teaspoon of salt. If the recipe is doubled, how much salt is needed?