Fixes #17.