Exclusions for travis
Correctness