bugfix: one Docker is not enough