Patch 0.3.1 for readthedocs

This patch release introduces no new features or bug fixes for distributed packages. It won't be released anywhere else.

It is solely intended to fix a bug with readthedocs, where compilation for the most recent release failed.