Fix version number

Don’t know if this is still used anywhere
Update readme for 5.3.1