Fixes #137.