bug in reproduce