Fixes #9.