Fix timer tutorial using the wrong variable type in the text.