This fixes #7.