Fixes #7. Fixes #5