This fixes #12.