Fix a typo.
Add Jenkins build.