fix misprint in ILAstBuilder.cs