This fixes #64