Fixes #10, #11.