Update history for release 0.1.3