If he timed it to the proper mark on the crank pulley, then it's OK. He may have THOUGHT he was setting it to 12 but he was REALLY setting it to 16.

If he used a light with a built-in advance dial, then he might have actually set it to 12. So can he just do it again for you?