Fix for travis badge.