fix #1 for travis