Fixes #16. Fixes #15.