Clarify about ATT syntax