Fix Docker spec