Bump to v0.3.1. Some fix for Github issue #25.