Documentation minor improvements + travis again