This fixes #4.