minor fix to trigger travis CI