Fix jrl-umi3218/jrl-travis#2