Workaround for MIMA checks.

Temporarily consider 1.3 the same as 1.2 as far as MIMA checks go.