Let me start by saying I haven't made this yet. It sounds delicious, and I love potatoes. So, it will probably get a higher rating if I can figure out one thing in the recipe first. The recipe appears to call for .13 (as in 0.13) teaspoon of paprika. What??? Is that really 13/100 of a teaspoon, and, if so, how does one obtain that measurement? Alternately, it is actually meant to be 13 teasponns of paprika? That seems terribly excessive. So, I'm really not sure how much paprika the recipe is calling for. Please clarify.