Even smaller example found