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

....