Bug fixing with Docker