Bumped v0.13.1. Updated HISTORY.