Extra boost for Kenya’s tourism sector