This fixes #2.