fixing docker-kill commands