Minor tweaks around practical basic Travis usage