Avoid possible travis issue