Fixes #7.