This fixes #1