ast: Remove one `@` and fix the fallout