changed erroneous piece of specification in ASTNode