fix for travis, #2