Fix a typo from previous commit
Add integration tests to CI build