Fix a syntax error in bootstrap.