Version 0.13.1

This is a bugfix release to solve issue #137!