Little change in abstract syntax