Re #1517 changing version to 2.0.13.