Fixing filename for travis

Because I can spell!