Fixes #20.