Slight fix to get Travis build green