fixes #142