Really do what I intended to do in 0.7.1.
Preparing release 0.7.2
Back to development: 0.7.3