Fixes #15.