Pretzel recipe question

I can’t find a way to post a comment under the pretzel recipe so hopefully someone here can answer my question. For the second part of the cook, the recipe says 15-20 minutes, but the timer says 12 minutes. Which is correct?