fix for travis, #3