fix specs for travis CI