This fixes #71.