This fixes #22