Quick fix to get around turtle header issue. Better solution coming soon.