#1: solve travis error