This fixes #13