Salt is missing in the ingredient list.. how much?

Based on the quantities of the other ingredients called for in this recipe, I'd add 1/2 teaspoon of salt to the dry ingredients used in making the gluten-free cornbread buns. ;o)