Change required PHP version from 5.3.10 to 5.3.1 (typo?)

I suspect this is a typo in composer.json?