Or put Dec a second time, at 0, and then % 12 works.