Correct typo in ATS

Correct typo in ATS; resolves #59