Fixes #10.