bug seems to have disappeared.