Fixes #9.
Fixes #10.