Fix incomplete format specifier (% -> %s) in ast.py