Does it come with a bonus second orange pencil?