Corrections to Travis build errors