Fixed bugs in Travis testing... again