small fix for travis #1