Fixes #142.