Try (again) to fix the GA issue (#25)