Updated source version so that it works with Travis