This fixes #3.