Fixes #7. Fixes #8. Fixes #9 .