fixed an error introduced while adding travis badge