version bump 0.3.1-a: coverage testing