This fixes #1.