Issue #43: New version 1.13.0