• Wrong precondition?

Question related to mission Clock Angle

 

The preconditions says that

re.match("\A((0[0-9])|(1[0-2])):[0-5][0-9]\Z", time)

but the description says that hour can be >12. Which one is correct?