This fixes #225