Bug-report on ATS, search for ERROR HERE, I think the fix is easy but I have to check.